38

Software model checking without source code

Year:
2010
Language:
english
File:
PDF, 550 KB
english, 2010